Model Checking with Program Slicing Based on Variable Dependence Graphs

In embedded control systems, the potential risks of software defects have been increasing because of software complexity which leads to, for example, timing related problems. These defects are rarely found by tests or simulations. To detect such defects, we propose a modeling method which can generate software models for model checking with a program slicing technique based on a variable dependence graph. We have applied the proposed method to one case in automotive control software and demonstrated the effectiveness of the method. Furthermore, we developed a software tool to automate model generation and achieved a 35% decrease in total verification time on model checking.Comment: In Proceedings FTSCS 2012, arXiv:1212.657

Development of Verification Method for Functional Safety Basic Software

博士（工学）茨城大

A Chloroplastic UDP-Glucose Pyrophosphorylase from Arabidopsis Is the Committed Enzyme for the First Step of Sulfolipid Biosynthesis[W][OA]

Plants synthesize a sulfur-containing lipid, sulfoquinovosyldiacylglycerol, which is one of three nonphosphorus glycerolipids that provide the bulk of the structural lipids in photosynthetic membranes. Here, the identification of a novel gene, UDP-glucose pyrophosphorylase3 (UGP3), required for sulfolipid biosynthesis is described. Transcriptome coexpression analysis demonstrated highly correlated expression of UGP3 with known genes for sulfolipid biosynthesis in Arabidopsis thaliana. Liquid chromatography–mass spectrometry analysis of leaf lipids in two Arabidopsis ugp3 mutants revealed that no sulfolipid was accumulated in these mutants, indicating the participation of UGP3 in sulfolipid biosynthesis. From the deduced amino acid sequence, UGP3 was presumed to be a UDP-glucose pyrophosphorylase (UGPase) involved in the generation of UDP-glucose, serving as the precursor of the polar head of sulfolipid. Recombinant UGP3 was able to catalyze the formation of UDP-glucose from glucose-1-phosphate and UTP. A transient assay using fluorescence fusion proteins and UGPase activity in isolated chloroplasts indicated chloroplastic localization of UGP3. The transcription level of UGP3 was increased by phosphate starvation. A comparative genomics study on UGP3 homologs across different plant species suggested the structural and functional conservation of the proteins and, thus, a committing role for UGP3 in sulfolipid synthesis

Worldwide trends in population-based survival for children, adolescents, and young adults diagnosed with leukaemia, by subtype, during 2000–14 (CONCORD-3): analysis of individual data from 258 cancer registries in 61 countries

Background: Leukaemias comprise a heterogenous group of haematological malignancies. In CONCORD-3, we analysed data for children (aged 0–14 years) and adults (aged 15–99 years) diagnosed with a haematological malignancy during 2000–14 in 61 countries. Here, we aimed to examine worldwide trends in survival from leukaemia, by age and morphology, in young patients (aged 0–24 years). Methods: We analysed data from 258 population-based cancer registries in 61 countries participating in CONCORD-3 that submitted data on patients diagnosed with leukaemia. We grouped patients by age as children (0–14 years), adolescents (15–19 years), and young adults (20–24 years). We categorised leukaemia subtypes according to the International Classification of Childhood Cancer (ICCC-3), updated with International Classification of Diseases for Oncology, third edition (ICD-O-3) codes. We estimated 5-year net survival by age and morphology, with 95% CIs, using the non-parametric Pohar-Perme estimator. To control for background mortality, we used life tables by country or region, single year of age, single calendar year and sex, and, where possible, by race or ethnicity. All-age survival estimates were standardised to the marginal distribution of young people with leukaemia included in the analysis. Findings: 164 563 young people were included in this analysis: 121 328 (73·7%) children, 22 963 (14·0%) adolescents, and 20 272 (12·3%) young adults. In 2010–14, the most common subtypes were lymphoid leukaemia (28 205 [68·2%] patients) and acute myeloid leukaemia (7863 [19·0%] patients). Age-standardised 5-year net survival in children, adolescents, and young adults for all leukaemias combined during 2010–14 varied widely, ranging from 46% in Mexico to more than 85% in Canada, Cyprus, Belgium, Denmark, Finland, and Australia. Individuals with lymphoid leukaemia had better age-standardised survival (from 43% in Ecuador to ≥80% in parts of Europe, North America, Oceania, and Asia) than those with acute myeloid leukaemia (from 32% in Peru to ≥70% in most high-income countries in Europe, North America, and Oceania). Throughout 2000–14, survival from all leukaemias combined remained consistently higher for children than adolescents and young adults, and minimal improvement was seen for adolescents and young adults in most countries. Interpretation: This study offers the first worldwide picture of population-based survival from leukaemia in children, adolescents, and young adults. Adolescents and young adults diagnosed with leukaemia continue to have lower survival than children. Trends in survival from leukaemia for adolescents and young adults are important indicators of the quality of cancer management in this age group